Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
171	Extracted from: Language Implementation Patterns Create Your Own Domain-Specific and General Programming Languages Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2010-01-17 14:45:56 Type theory Data types Formal languages Procedural programming languages Program analysis Type system Type safety C++ Expr Software engineering Computing Computer programming
172	Semantic Foundations for Typed Assembly Languages AMAL AHMED, ANDREW W. APPEL, CHRISTOPHER D. RICHARDS, KEDAR N. SWADI, GANG TAN, and DANIEL C. WANG Princeton University Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2009-06-25 20:03:38 Data types Type theory Object-oriented programming Model theory C++ Type safety Type system Denotational semantics Subtype polymorphism Software engineering Computing Programming language theory
173	Dependent Types: Easy as P IE Work-In-Progress Project Description Dimitrios Vytiniotis and Stephanie Weirich University of Pennsylvania Abstract Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:26 Type theory Data types Functional languages Formal methods Theoretical computer science Dependent type Lambda calculus Type system Generalized algebraic data type Programming language theory Software engineering Computing
174	ΠΣ: Dependent Types without the Sugar Thorsten Altenkirch1 , Nils Anders Danielsson1 , Andres L¨oh2 , and Nicolas Oury3 1 2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-02-16 10:41:43 Type theory Functional languages Data types Programming idioms Lambda calculus Epigram Agda Recursive data type Dependent type Software engineering Computer programming Computing
175	Notes on Programming in C Rob Pike Introduction Kernighan and Plauger’s The Elements of Programming Style was an important and rightly influential book. But sometimes I feel its concise rules were taken as a cookbook a Add to Reading List Source URL: www.r-5.org Language: English - Date: 2014-10-27 10:48:31 Data types Procedural programming languages C++ Primitive types Subroutines Pointer C Linked list Stack Software engineering Computing Computer programming
176	Using Annotated C++ Marshall P. Cline Department of Electrical and Computer Engineering, Clarkson University Doug Lea Department of Computer Science, SUNY Oswego Add to Reading List Source URL: gee.cs.oswego.edu Language: English - Date: 2000-01-18 10:00:11 Procedural programming languages C++ Cross-platform software Data types Type theory C Exception handling Type system Subroutine Software engineering Computer programming Computing
177	DynaMoW User’s Manual (for DynaMoW releaseFrédéric Chyzak and Alexis Darrasse September 9, 2011 Add to Reading List Source URL: ddmf.msr-inria.inria.fr Language: English - Date: 2011-09-09 05:21:24 Functional languages Procedural programming languages Data types Type theory OCaml Caml Foreach loop ML Type system Computing Software engineering Programming language theory
178	Lecture 3 on Partial Evaluation: Binding Times, Optimal Specialisation and Types Neil D. Jones DIKU, University of Copenhagen (prof. emeritus) PART I: HOW PARTIAL EVALUATION CAN BE DONE Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2011-12-19 05:05:46 Programming language implementation Procedural programming languages Evaluation strategy Incremental computing Partial evaluation Compiler Eval C Interpreter Computing Software engineering Software
179	Geosci. Model Dev., 2, 1–11, 2009 www.geosci-model-dev.net/ © Author(sThis work is distributed under the Creative Commons Attribution 3.0 License. Geoscientific Add to Reading List Source URL: www.geosci-model-dev.net Language: English - Date: 2014-12-04 03:51:09 Object-oriented programming Procedural programming languages Array programming languages Cross-platform software Primitive types Fortran Python syntax and semantics Python NetCDF Computing Software engineering Computer programming
180	Types and Type Annota-ons A Stage 0 Proposal Jonathan Turner \| Brian Terlson GOALS •  Short term Add to Reading List Source URL: esdiscuss.org Language: English Scripting languages Cross-platform software Technical communication JSDoc Python Application programming interface JavaScript C Syntax Software engineering Computing Computer programming

UPDATE